Rock drilling machinery