Timings for all_character.v

Require Export character.
Require Export classfun.
Require Export inertia.
Require Export integral_char.
Require Export mxabelem.
Require Export mxrepresentation.
Require Export vcharacter.