Documentation: add simple main page, do not assume that dot tool is available for now.