Doc updates

A minor attempt to improve the documentation, particularly for setting up a developer environment.