Move the information about the definitions from the standard library to an external file

[sonmarcho]

trafficstars

For now, the definitions supported by our standard libraries are hardcoded in ExtractBuiltin.ml. This information should be moved to an external file which should be read at runtime.