Stagify.

Approved by:	portmgr@ (blanket)
Really modernize LIB_DEPENDS
Modernize LIB_DEPENDS
Use modern LIB_DEPENDS
- Add a patch to devel/libantlr3c to define ANTLR3_USE_64BIT on 64-bit
  architectures and bump dependent ports
- Patch configure to respect CFLAGS
New port: math/mpir

MPIR is an open source multiprecision integer (bignum) library forked from the
GMP (GNU Multi Precision) project. It consists of much code from past GMP
releases, in combination with much original contributed code.

MPIR is constructed by a developer and vendor friendly community of
professional and amateur mathematicians, computer scientists and hobbyists.

WWW: http://www.mpir.org
Stagify.
Update to 2.03pre25
www/phalcon: update to 1.3.2

PR:		191332
Submitted by:	Franco Fichtner
Approved by:	maintainer
Add DOCS to OPTIONS_DEFINE to ports that check for PORT_OPTIONS:MDOCS.
- Fix plist

Reported by:	swills
Add DOCS to OPTIONS_DEFINE to ports that check for PORT_OPTIONS:MDOCS.

Also, remove NOPORTDOCS as requested by the pre-commit hook.
Add DOCS to OPTIONS_DEFINE to ports that check for PORT_OPTIONS:MDOCS.
Add DOCS to OPTIONS_DEFINE to ports that check for PORT_OPTIONS:MDOCS.
Add DOCS to OPTIONS_DEFINE to ports that check for PORT_OPTIONS:MDOCS.

While here, use OPTIONS helpers and re-enable manpage installation.
remove NO_STAGE.
Add DOCS to OPTIONS_DEFINE to ports that check for PORT_OPTIONS:MDOCS.
Add DOCS to OPTIONS_DEFINE to ports that check for PORT_OPTIONS:MDOCS.
Add DOCS to OPTIONS_DEFINE to ports that check for PORT_OPTIONS:MDOCS.
Add DOCS to OPTIONS_DEFINE to ports that check for PORT_OPTIONS:MDOCS.