corrected parentheses generation in case of object method applications
added proof tree level logging control
add test for type handling (which types are supported by InSynth)
add test for type handling (which types are supported by InSynth)
Merge branch 'development' of ssh://github.com/kaptoxic/scala-ide-insynth-integration into development
reverted back to the parentheses handling in case of object method
applications
added new checkers (for code snippets that should not occur) and test
for issues on github
renamed a test
added test for GitHub issue #3
modified logging output in the reconstructor
config object refactored
rest of the benchmark tests added (the ones that have >10 in the
groundresults.tex)
corrected type handling test
added substring checker to the completion utility
refactored completion tests into a test suite
refactored the main test suite
modified trees printing to allow printing up to a certain tree level
corrected logging
Added feature to feature dependency to scala-ide

It is needed to correctly instal scala-ide when installing
the insynth plugin.
added separate code generating styles (partially addresses GitHub issue
#4)