Update to verdsion 3.1.3

This version fixes an incompatibility with GNU bc:

The statement:

if (a > b) 1

was rejected, unless followed by "else 0".

Approved by: antoine (implicit)