changes location of "turtle_config.hpp"

Cristian Lalescurequested to merge
infra/config_header into master

this is such that no conflicts arise when using multiple build directories.

Merge request reports