PLCgen docs has a timer example model with a syntax error

The timer example model has a syntax error:

edge reset do t := 10; goto running;

The ; after 10 should be removed.

Addresses #679