Merge pull request #15 from AndreasVoellmy/master

Fix error in describing how GHC threaded RTS deals with foreign calls.
Fix: #13.
minor fix.
minor fix.
Edits to smooth the "User threads" section.