new release: 1.5b12

[Michiel Boland]

Hi. Mathopd-1.5b12 has been released. The compilation problems with
POLLERR have been fixed. Other changes: a new LogFormat parameter
'MicroTime' has been added. This logs the time with microsecond precision.
Also if you now send mathopd with a SIGWINCH it will generate a dump in
/tmp. This is probably not very useful, so this feature (along with the
rest of dump.c) will be removed in future releases.

Cheers
Michiel