Added a shell-script that allows to perf-profile any program
Added rand-functions to util
Clearified LockTypes and file-names in terms of busy/spin