Bump PORTVREVISION
It seems GNAT version changed recently and this port wasn't bumped, leading
to errors like:
error: "dom.ads" and "gprclean-main.adb" compiled with different GNAT versions
error: "dom-core.adb" and "gprclean-main.adb" compiled with different GNAT versions
...