[seL4] Instructions on using the haskell simulator