User interaction: assign info about correction status to pages

[claesn]

User should be able to mark pages as "edited" and "corrected" (default: "untouched"). Possibilities:

• checkboxes
• colours (green, yellow, red)
• different icons in navigation view

[claesn]

see also #150 and #152