Add pdf to front page download for the http server and notes about required tools