Update dev-manual

This should fix #468
Refactoring
Reindent (no other changes)
Add a 'tags' field in OPAM files.

This should help resolving part of #483