SWiM/stepwise formalisation

Allow for importing informal (e.g. Wikipedia) documents and stepwise annotating them. Maybe folksonomy approach: first lightweight annotations (e.g. tag this section as a definition), which later get frozen (when enough users annotated the same) to real OMDoc.