Implement reader for REDUCE files, superceeds #14

As suggested by @wkerzendorf, I split the old pull request #14. This is the REDUCE part.