Modification to simplesamlphp to use AWS DynamoDB as data store