core: harmonizes the data type for the process ID

Instead of using arbitrary integer types use pid_t as provided by the
toolchain.

Closes #210.
And are we talking about http://www.youtube.com/watch?v=GeUx5sdp3qM or rather http://www.youtube.com/watch?v=nXMSwEDHtfM ?