AV: flag /entryPointExcludes is broken

[shaobo-he]

There are a couple of issues with this flag.

1. When multiple such flags are given to fastavn, they are not passed along to avh properly. The relevant code is

   corral/AddOns/FastAVN/FastAVN/Program.cs

   Lines 193 to 196 in 53eae67

   	if (entryPointExcludes != null)
   	{
   	entryPointExcludes.Iter(s => avHarnessInstrArgs += string.Format("/entryPointExcludes:{0}", s));
   	}

   . There should be spaces between these args.

2. Avh doesn't seem to take this flag into account. The loop exit condition (

   corral/AddOns/AngelicVerifierNull/AvHarnessInstrumentation/Instrumentations.cs

   Lines 70 to 71 in e7af372

   	if (useProvidedEntryPoints && !QKeyValue.FindBoolAttribute(impl.Proc.Attributes, "entrypoint"))
   	continue;

   ) doesn't prevent procedures specified by this flag from being instrumented.

I can create a PR for the first one.

[zvonimir]

I am guessing nobody will work on this any time soon, if ever.
@shuvendu-lahiri and @akashlal : are you ok if I mark this as "won't fix" and close the issue?