wiltondbpgwin_deps: PostgreSQL Windows dependencies

pgwin pgwin828. PGWin is one particular display. Its desn is a synthesis of Proof General and IsaWin, resulting in a novel interface which combines Proof General's text

pgwin login, PGWin is one particular display. Its desn is a synthesis of Proof General and IsaWin, resulting in a novel interface which combines Proof General's text.