Merge branch 'master' into 'master'

Move Tag to pytools

See merge request inducer/pytato!16