A library and Linux Kernel Module to manipulate scheduling time quantum