Kernel config 3.13.7
Adding configuration info for Debian jessie (testing).
alias mplayer
async options for ghc-mod
remove old file