Remove the definition of the Pinoccio object

In commit 0538daa (Remove PinoccioClass instance Pinoccio), this object
was made unused and its declaration in Pinoccio.h was removed. However,
its definition still existed, eating up 17 bytes of RAM.