Better user config/git compatability.

Removed `config.php` from repo, and replaced w/ `config.php.dist`.
This allows users to update their Pico install w/o changing their
settings.

Additionally now ignoring user added themes.