Merge pull request #836 from bonii-xx/master

Make obsidian ingots castable
Fix gravel ore being harvestable without shovel.