[ci] Do authenticated clone of dumux (in case its a fork the project might not be public)