replace ifstreams with stringstreams

not sure if there's some better way of reading from a `TObjString`. 

Side note: I had to change the outputs of `load_specifications` and `load_net` from `file.good()` to `!file.bad()`. I'm not sure why the fail bit gets set when reading stringstreams.