doc
add jenkins.sh
jenkins need to install oasis
Merge branch 'master' into doc
Update .jenkins.sh and Makefile for documentation
Merge pull request #28 from ocsigen/doc

initial doc