Changes

• Added UI stone buttons for toggling auto-dig and ignore stopping.
• Added ignore stopping setting, which is on by default and affects travelling.
• Various bug fixes.