INSTALL: upgrade v12 -> v13 (update mantis plugin)

untested...