Remove indent guides
Merge branch 'master' of https://github.com/SWI-Prolog/pengines
Merge branch 'master' of https://github.com/SWI-Prolog/pengines
First attempt to change proportions between editor and console