Put CI script into shell script

[markuspf]

This PR puts the code run for CI into a script rather than the travis config file.

• scripting in the travis YAML file is ugly, error prone, and a pain to debug,
• we can now use this script for AppVeyor as well
• with sufficient tweaking this can be run locally to test whether it works before pushing to travis and having to wait for results to come back.

[fingolfin]

Sounds like a good idea. Though, I wonder, the script refrences TRAVIS_OS_NAME, does that work correctly on AppVeyor?

BTW, AppVeyor builds always seem to fail right now, this is very annoying...

[markuspf]

AppVeyor fails because there is no AppVeyor config in master. That is reasonably easily fixed.

The CI script is not perfect yet, I should probably try and find out what to do about these environment variables.

[codecov-io]

Current coverage is 49.53% (diff: 100%)

Merging #890 into master will increase coverage by 0.21%

@@             master       #890   diff @@
==========================================
  Files           422        423      +1   
  Lines        228398     232037   +3639   
  Methods        3448       3448           
  Messages          0          0           
  Branches          0          0           
==========================================
+ Hits         112663     114950   +2287   
- Misses       115735     117087   +1352   
  Partials          0          0           

Powered by Codecov. Last update da0416e...f07ab00

[fingolfin]

The travis test had failed, but I rerun it, and now all tests seem to have passed.

So is this ready to be merged? Or perhaps there were changes to the CI integration in the meantime which need to be adapted first?

[markuspf]

I think it is ready to be merged, subject to further improvements which would come with the renovation of the tests (#790 and friends)