Revert "Dummy commit to force Travis to rebuild"

This reverts commit c086d5713693985e8184564f67843ad5b9ec2c48.
Fixed Travis configuration to pull Syntactic from GitHub