The software just referenced is called W6EL Prop and may be downloaded at:
http://www.qsl.net/w6elprop/This is excellent software and is user customizable with additional locations.
For just grayline, you can use GeoClock which is readily available as a free program. It shows the terminator in real time but does not have any propogation data.