vimrc: Read in the contents of a separate local customization file.

This allows people to specify extra per-project settings or even override
the settings from the PISA .vimrc - for whatever reason.