bashrc: updated Invenio-related exports