require + configure re-builder
add + config silver searcher
remove smartparens because i hate it
remove edit-server
add idris-mode
add theme-park-mode
company-mode, re-jigger some clj/cider config