starting elf printer by collecting tags
printer to twelf... tested with some fancier queries, they are wf, but do not run :(
Merge branch 'master' of github.com:TiarkRompf/minidot