Split `IntDomain`s into separate files

[sim642]

Similarly to #1575 because intDomain.ml is the largest file we have.

They are moved to a new int subdirectory. There's also a IntDomain0 with all the various interfaces and their adapters. The splitting is done such that git blame history is preserved for default git settings. Thus the git graph is a bit of a braid.