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.
Unrelated. If change this here, the PR gets even harder to maintain and would obfuscate the real changes.