Configure travis as the new CI
Merge branch 'travisCI' into develop
Only deploy with Travis when needed
Skip unnecessary tasks at Travis deploy
Reenable JavaDoc deploy with Travis

The previous commit unintentionally removed JavaDoc deployment, it just
wanted to disable unnecessary regeneration. It seems it is not possible
so we regenerate the JavaDocs at deploy now.