Helper scripts for travis deployment (common for all freemint projects).
FreeMiNT
uses a separate branch because it needs much more complex handling. The rest
should use project-specific scripts in their .travis folder
(before_install.sh, install.sh, before_script.sh, script.sh,
after_success.sh and after_failure.sh) and deployment scripts from this repository.