Are `.project` and `pydevproject` config files for the IDE? Or are they required?