Add first benchmark: integer sorting.

    TODO: Figure out how to acutally run it automatically.
Merge https://github.com/oridb/mc
Fix ifreq on Linux, and add it for OSX