Devices for testing in situ the hardness or other properties of minerals, e.g. for giving information as to the selection of suitable mining tools