Fixes https://code.google.com/p/simplesamlphp/issues/detail?id=622, using Tilde operator for PHP version and saml2 library version