changed package info (in particular removed magithub, which caused a
bug); added some cider config