Version bump to 0.20-SNAPSHOT
Fix reasoner version

Still using 0.18. The code for the reasoner should really be put
in the same source tree in order to have a an easier build.