PHP library for http redirect rules