Rename the SimpleSAML/Auth/Default.php to DefaultAuth.php

When migrating to namespaces, this class had to change its name, as "Default" is a reserved keyword. However, that implies changing the file name as well. Currently, it doesn't load.