Added the depth limit flag to avoid crashes; Made build system default for pml files
Merge branch 'master' of https://github.com/corbanmailloux/sublime-promela-spin