GeoLogic 0.2

Release for the ICMS 2020 paper. GeoLogic 0.2 supports visualisation of lies_on, angles and equal distances, supports checking lemmata in parallel and posseses reasonable amount of automation for the interactive usage.