delete milestone

only empty milestones can be deleted. (otherwise, we'd have to figure
out what to do with the items in the milestone, since we don't like to
lose history)