Adds klog syscalls printing stuff onto SPARTAN's kernel console
Further develops the ipc benchmark for server-client communication
Adds klog prints to rdtsc benchmark
Sets up ipc and rdtsc benchmarks