Update push
Add cleanup trap
Merge pull request #8 from jeanguyomarch/master

Fix doc-push