Improved annotation handling

This release brings new ways of handling annotations via a list when labels and colours can be edited. The line is now called ruler. New tools such as the arrow or free hand drawing have been added. Careful, the version of the state file has been updated to version 0.2 to support all this! See milestone 0.17.0 for details.