Improve documentation of vibe.appmain
Add appropriate DDOX filter arguments