remove hpmor-prince submodule
add static copy of hpmor-prince
Merge pull request #4 from bluej100/master

proper static inclusion of hpmor-prince