0.12dev: When editing a ticket comment, save the old comment in virtual fields named `_comment{n}` (n=0, 1, ...) in `ticket_change`. This allows showing the time and author of the last edit. The next step is a full comment history viewer.
Also, improved the layout of the comment editor and hidden the ticket property editor when editing a comment, as suggested by Christian Boos.
