replace the non-standard ROCKTYPE keyword by SATNUM

Eclipse does not know anything about ROCKTYPE and the the keyword is
used as an alias to SATNUM in the code...