Fixed ungrounded 'solutions' bug
Naming convention for test target
Converted all eligible file reading to use new utility ParsedFile
bugfix: bad line number reporting
increase threads in experiment, formatted java codes
Merge remote-tracking branch 'upstream/master' into dev

Conflicts:
	src/edu/cmu/ml/praprolog/prove/ProPPRLogicProgramState.java