Add CFEngine section to manpages
Add promise theory section to manpages