More module docs

Most notable: module description page has short_description in it, which makes TOCs of module_index and list_of_*_modules to look more informative for a casual user.