tests and minor changes to mvn
bash script to run semancer-core