Fix travis syntax and use tools/header.py