INSTALL: upgrade v12 -> v13
WBS: WbsEditor must reload after save (to get new elements BD id)