Mintty as a terminal for Bash on Ubuntu on Windows / WSL - mintty/wsltty