Version 1.3.1

Published on CRAN.
Nothing

Messing around with GitHub Windows GUI....
Fixes #6 (fixed previously, but not automatically closed).