Add 'doc' in .gitignore
Merge branch 'dev' of github.com:mickael-menu/libpirt into dev