PHP library for easy server side implementation of multiple types of HTTP authentication