also allow digits in the postgresql schema name (to make it easier to include the ANNIS version)