Add Arthur Borsboom to the list of contributors
Add uninstall command to the installation documentation.
Update man documentation

DEVELBUILDDIR is deprecated. DEVELSRCDIR is the new name.
Add example/default directory to configuration file

If a user prefers to use the DEVELSRCDIR configuration item, an
example can be very helpful. This was the case before in the old
deprecated DEVELBUILDDIR and IMO preferable.