Behave more like Coq when initialising the load path

Coq also adds the library's "user-contrib" directory to the load path, if
one is present