Diamond Caves - new update

A new update to Diamond Caves is available:
Version 5.0.7

• customizable keyboard controlls
• editor: fixed bug with replicator & conveyor belt in eater
• editor: small improvements