Ignore .dvi file
Precisions in installation instructions
Add phony dependency
Fix URL to Git repository
Update documentation to mention Git repository
Makefile for Web deploy