Modify Holmakefile to refer to "model" rather than $(HOLDIR)/...

This makes the enclosing directory easier to move and/or rename.
Remove "parser info being discarded warning" message in ARM_prover_toolsLib

You can't make changes to the grammar that will get exported within a
library implementation.
Remove trailing whitespace in ARM_prover_toolsLib