Minetest: Additional tools for mining