moved line reading stuff to kernel/oswrapper part1
moved line reading stuff to kernel/oswrapper part2
moved timing stuff to kernel/oswrapper part1
moved timing stuff to kernel/oswrapper part2
moved rlimit.* to kernel/oswrapper
Merge branch 'spielwiese' of github.com:Singular/Sources into spielwiese