Extraterm v0.40.0

First feature release for 2019 has:

• Added context menus through out the app.
• Added "Select All" menu option.
• Added option for disabling "automatic copy selection to clipboard". issue #145
• It is now possible to configure where user settings are stored. issue #138