Removing files, gonna add nusmv back as a submodule.
Added back nusmv, and instructions for submodules
Added vim markdown bundle