Use redis for sessions

fixes #220 on github