* commit '6bcd3e05998b41fb3b2c8dcc79e4662854e5208d': build: Add support for travis CI Merged-by: Hendrik Leppkes <h.leppkes@gmail.com>
It is useful to support a future staging branch and to have an automated consistency check on github pull requests.