Story #1565: Installer, github and travis-ci