Adjusted VML and Promela definitions; rebuilt modules.
Added VML to Promela compilation to Main module.
Created quick build script; added cabal invocations to release script; added modules to cabal file.