update .proverc
テスト毎にdatabaseを分ける