Always include lib.php

We need to include it before using our classes, else our autoloader
doesn't get triggered.

Improves #15
Replace core_user::get_user() with $DB->get_record()

Improves #15