Close Live Development when switching projects

Old Title: Verify server provider matches project when switching documents

This is for #3410.

The server provider is not automatically updated when switching projects <del>, so we need to detect that case</del>. Keeping Live Dev open across projects seems a bit weird anyway, so it's easiest to just close it.