Add local development config samples.

In existing branch:

    $ git diff d26d7b8c^..eff4fa4d -- local/dev > local-dev.patch

Apply patch in the new branch:

    $ git apply local-dev.patch

This combines the following commits:

* eff4fa4d 2014-11-06 | fix relative path in local/dev/.gitignore (origin/issue/4117, issue/4117) [Martin Czygan]
* 8bd99282 2014-11-06 | ignore developer-specific ini files [Martin Czygan]
* cbf32081 2014-10-23 | modified default dev-config [seltmann]
* d26d7b8c 2014-10-22 | added dev config and some gitignore entries [seltmann]