make clean should not remove lib/minisatprover.md
use LANGAUGE pragma instead of OPTIONS_GHC
Using .cfr-scope file in --all and in "loadScopes" interactive command
fixed building on MacOS
using renamed fields with _
fixed building on Mac OS
when --useuids, display ordinal number for the first instance also
release 0.3.6
added instance end delimiter
Merge pull request #18 from gsdlab/rename

Lens
added make init with a sandbox
git ignore sandbox files
README MSYS
Merge pull request #19 from gsdlab/develop

Release 0.3.6