Fixes and improvements made for C2Rust

[ahomescu]

This PR implements the following:

• Unsynced support for getrandom syscall
• Optional unsynced support for brk syscall (configured via the unsynced_brk option)
• Fixed cross-checking for struct pollfd structures which contains an output-only argument for poll and ppoll