Add the -ddump-mod-cycles flag to the user manual