API to force-upgrade repository
new pp.project.ui project to add project-related actions
expose PP database info resolution
added a button to upgrade/compact the repository.
Merge branch 'upgrade-repo'