Release v1.3.1

Placeholder release with added manpages, and slightly modified install script.

NB: for the time being, please use the previous (v1.3.0) release if you want a bootable image; this (v1.3.1) release has been created primarily for deb packaging purposes.