Rename config.php to formatter.php

Fixes #11