Revert "use latest tidy"

This reverts commit 90120361e352466b3081450db1a1eb901273cbee.
include gmp
do gmp as shared extension
gmp is not needed in build-php.pl
Merge branch '5_3_mountainlion' into 5_4_mountainlion

* 5_3_mountainlion:
  gmp is not needed in build-php.pl
  do gmp as shared extension
  include gmp
  Revert "use latest tidy"

Conflicts:
	lib/Package/php5.pm
added readline
Merge branch '5_3_mountainlion' into 5_4_mountainlion

* 5_3_mountainlion:
  added readline

Conflicts:
	lib/Package/php5.pm
Merge branch '5_4_mountainlion' into 5_5_mountainlion

* 5_4_mountainlion:
  added readline
  gmp is not needed in build-php.pl
  do gmp as shared extension
  include gmp
  Revert "use latest tidy"