Varnish extension

Add Varnish extension for PHP 5.3, 5.4 & 5.5
Closes #795