The Selberg trace formula for Dirac operators