Ignore pom projects
Check manual file first and don't give an error if it's a pom project
Added a property to disable the manual in some submodules
Merge pull request #2 from lightglitch/master

Ignore pom projects, added lemma.manual=true|false project property switch