#5 File extensions

[Wouter Lievens]

It should be possible to change the produced file
extensions - either by configuration file or by command
line.

The default now is .hh and .cc, but I use .h and .cpp,
and changing it every time I test something can be
rather tedious.