Restructure debian configs a bit, move ghc to NRPE