Synopsis of the species of Trechus, with the description of a new species