A "coffee-break"-length roguelike...about mining!