Improve TCK utils
- Add qmtests for some TCKUtils functions
- Add a more sophisticated TCKsh.py script, called by TCKsh and iTCKsh
- Split-out backend from utils.py into backend.py and refactor
- Fix triplication from dump and print TisTosSpecs
- Improve the diff and dump functions