Ignore this.
Clean up project management a little. Change confusing --with-project to
--current-file (now only allowing one) and kill the majority of the
umpteen functions we had in Server to select project.