Make softfloat's rounding mode thread-local

This has no effect on Spike itself, but it might matter for anyone who's
using Spike as a library in a multithreaded program.