ginac benchmark: print the time
Merge pull request #193 from certik/ginac

ginac benchmark: print the time