travis.py: better tokenisation of sql