Added dired-details, updated some packages, and allowed for running rake proctor