v0.9.8

• A large branch switch holds the write lock for less time again: recording
  the files the switch changed took 0.2–0.4 s on rails, and now takes tens of
  milliseconds, so editor saves and other indexes wait less behind it.