A little later than expected, the library now supports inverted pulses as input.
The constructor now has an optional parameter OnRisingFlank:
DCF77(DCF77Pin, DCFinterrupt, OnRisingFlank)
If OnRisingFlank set to false, the algorithm will trigger on falling edge.