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.
Hmm, I only checked `man 2 kill` and there the parameter was `pid_t`, so I thought using our pid data type makes sense.