doc: add mars-manual.{lyx,pdf} (INCOMPLETE WIP)