Dataset.concat() can now automatically concat over non-equal variables.

concat_over=True indicates that concat should concat over all variables
that are not the same in the set of datasets that are to be concatenated.