starting to revive SMT encoding
tweaks in tosmt; checkpoint before merging with VS2013 branch
merged with VS2013
auto-changes to sln by VS2013 for compatibility with older versions