Remove documentation for master branch
Update README
Add travis
Add travis information
Configure travis to build and publish documentation
Compute if no change in documentation
Fix check if git commit is needed
Fix again the test
Test if travis push if documentation changed
Reverse Post command of compilation of documentation
Fix another bug with automatised pushing documentation
Again and again Travis CI
Update setup.ml
Fix pushing documentation
Lastest ocamldoc on successful travis build 12 auto-pushed to gh-pages