invenio.ext.menu: code style improvements