git-ignore config.yaml to allow per-developer configuration

This way we can keep our own *config.yaml* for development, e.g. to specify the port we want.