adds configuration option --with-global-id-type

Summary

Adds configuration option --with-global-id-type, which allows the setting of the integer type used for global ids. Originally, this type (yac_int) was based on Xt_int, which is provided by yaxt. To reduce dependencies and allow an easier generation of public YAC interfaces, this type is now defied during the YAC configuration of the build directory.

Related Issues

• Closes #217 (closed)

Checklist

• All code changes are covered by unit tests
• Code coverage did not deteriorate
• Code follows Style Guide
• Documentation updated, if necessary
• WIP: Manual running of configure/build jobs was successfull
• Update version info, if changes are worth mentioning (Develop section in doc/src/version_info.dox, add section if not yet included)