man: use sphinx instead of sucky rst2man, make html output prettier
man: fix gibberish at start of file due to wrong gzipping (use coreutils)