New release of the spec-demo manual

The new spec-demo manual is released, in the new “software support for SPEC” ohwr package.
It includes new advances in vhdl and lm32 code by Tomek and Greg. The synchronization
I get on my hardware is implessivile better than what my (poor) scope can show.