Fixes #199 and #223
In addition, auto updates that even works on Windows. Also completely redid the way
open projects are tracked, allowing to reopen the project picker via a
command.