Traceur is dead, long live 5to6

(plus formatting in the same commit)