Fix command history in Windows

SBT 0.13 uses JLine 2.x, which interacts badly with the existing setting
-Dfile.encoding=UTF-8. However, the JLine terminal encoding can be
overridden by providing the option -Dinput.encoding=Cp1252.
Merge pull request #1620 from richdougherty/win-command-history

JLine command history broken on Windows
Merge remote-tracking branch: upstream/master