Improved speed of renderman shader menu.

The 3delight installer was adding some dubious paths, and making duplicate paths too - see comments.