arpack-ng: Version bump to 3.1.3.