ver() information

Any comments before I merge this? (see #1351 for the motivation)