Fixed some linker issues with MSVC
Major work on PROMELA datamodel
Passing all tests but xpath and lua