Bugfix: do not use global varmap in Solution; + run minisat on Windows

[motus]

Summary of changes:

• Use a separate instance of the varmap dictionary for each instance of the Solution object
• use NUL instead of /dev/null when running minisat on Windows
• bump up the package version to 1.0a6

[netom]

Thanks for the contribution.