remove debian install docs

This hasn't worked for a long time, so we should probably stop advertising it.