Massive documentation overhaul, now using Markdown with DDoc.