Upgrade RichSmartID channel identifier to use 64bits.

Upper 32 bits are used exclusively to (optionally) save the ADC time information for the hit. Necessary to support developments for Upgrade 1b or II where time information is anticipated to be part of the RICH raw data.

Main changes are

• RichSmartID - Update to use a 64bit structure.
• Add a new rawbank version for the Rich for streaming 64-bit SmartIDs.
• Rich Decoder - Add support for decoding the new 64-bit streamed SmartID format
• Rich Encoder - Add support for writing the new 64-bit streamed format (via Boole!487 (merged)).

Changes are implemented in a way to be fully backwards compatible with the existing data formats and processing, so can be committed without interfering with any run3 operations.