Incorporate many of Rob's changes, including making it work in Windows,
and stylizing the output