Remove some outdated documentation on customizing Robolectric. Fixes #588