PHP library for MVC web applications