#13: Autohide EDE-GUI after timeout
[RC] EDE 0.7.1

Closes #13 - Autohide EDE-GUI
Merge branch 'release/0.7.1' into develop