Cleanup: class loader deprecation and simplification

Time to get rid of this thing: marking it as deprecated.
I would consider it good yeah. It would also mean that this ClassLoader becomes compatible with ``class_exists`` again (and we can change its ``classExists`` method to simply call the PHP function)