Add `libmcs`

[kkysen]

hayroll tests on libmcs, and it's found some bugs in new features we added to c2rust transpile (#1435), so we should add it to our testsuite, especially since we're working more closely with hayroll for conditional compilation now.