fixed up winter scheme, xrdb, etc. added idris vim