Update scripts

Signed-off-by: Damien Cassou <damien.cassou@gmail.com>
Update instructions in README

Signed-off-by: Damien Cassou <damien.cassou@gmail.com>
Git ignore some more files

Signed-off-by: Damien Cassou <damien.cassou@gmail.com>
Push the resulting PDF and HTML files for advertisement purposes

Signed-off-by: Damien Cassou <damien.cassou@gmail.com>