This also adds the default configuration file for ppsi.  It has no
effect, because it's the default that would apply if no configuration
file is there, but it's useful as a reference, and to ease editing.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>