Fixed an internal link to a header that was renamed in 97153bbadcc1a5d1148e1b1f158545b726d2af5a
Properly escape some command line arguments
Added Travis CI