fix(Formula): Make generation/matching of __RET vars more robust
feat(MainLoop): Minimally better logging in insertForRerun
style(*Dictionary): Clean/Reorganize MultiDictionary and SetDictionary
feat(CTL): Print some evidence (found preconditions) for CTL w/ -print_proof
feat(Term/Formula): ToString() breakthrough in T2's .NET support
feat(Programs): Make external API less dependent on F# lists
Merge remote-tracking branch 'origin/master' into library
fix(.NET): Use z3 DLL with strong name, sign T2-Lib with throwaway key
fix(Output): Fix target location of transition in T2 file output
fix(Output): Close file output handle, ensuring that it's flushed
feat(Proofs): Write proofs to TextWriter, not stdout
chore(fsproj): Target F# Core 4.3.1