Simplify running nix-shell

This also removes building a separate source tarball or building a PDF manual since it's unlikely anybody cares.

Created by  Eelco Dolstra  on March 22, 2016
X7IAG7JTV4W6JH34JBC6KOVUGBAG643V4Y5MX4GTJL2BV5PP5VIQC
Dependencies
In channels
main
upstream
Change contents