Refactoring; adding a spec directory and moving CIAO/RETE specs.
Fixed Watchdog::end; should mark as not initiated (require begin).
Fixed PinChangeInterrupt; too large handler vector for ATtinyX4.

1. Clean up PinChangeInterrupt static data structure naming.
2. New symbols for number of mask registers and number of pins.