Tipc support

Adds TIPC support when building for Linux.
Needs a kernel >= 3.8, and the TIPC kernel module installed