Add defaults for AutoHotKey.
Add settings for mintty.

Mintty is a popular terminal for Windows, especially when using Cygwin.