/machine/showtoken displays a complete JSON output.

The ORM was enhanced, so that the mapping is
filled with the name of the machine and the
serial number of the token.

Working on #10
Decommission date can be added to the machine definition.

Working on #10