seal5.version

Version module for seal5.