HomeIsabelle/Phabricator

proper vacuum of session_info tables: only once per build process;