Small changes to help browsing scala reference sources

This is a step toward #518. Loading scala library sources is much improved. Java sources are still a problem.