The eigenvalue problem in configuration interaction calculations: A computer program based on a new derivation of the algorithm of Davidson