grovy bits - a simple music editor (instructions included)