Implement check of used and awaited compiler

[adydychk]

This can be implemented on the basis of this PR: #29

If used compiler != awaited (from builder config in config.py) -> fail the build.