17.5.5 released on 2017-12-21

[gregober]

* Added disconnecting JSsh channels even in case of aborting due to timeout.
* Yet another optimised logo.
* Optimised logo.
* Removed reference to Gotham Book font in logo.
* Changed colour in logo to #072047