Version 1.3.2 released!

This is a bugfix release. No change in speed expected!

[1.3.2] Support older versions of fgrlx again.
[1.3.2] Fix abort when failing to list devices of platform.
[1.3.2] Fix no reconnect after 'No such host' errors.
[1.3.2] Add --benchmark options.