Tabinator: a tablature editor