Add doc-push
Fix push and update clean target
Update gitignore
Fix doc-push
Update doc
Merge pull request #6 from jeanguyomarch/master

Add automatic doc updater