Fix bootstrap CSS path, make dev server kill namebench process at
startup.
Merge branch 'master' of https://github.com/google/namebench