Terminal formatting

* Add gnome tasks for export/import of terminal settings
* Move macosx terminal definitions to terminal/macosx
Set JDK for Idea on Linux/Ubuntu