Update on new rspec syntax

Rewritten the part where rspec is run

I hope this new format is more readable, and also mentions the trace
option to the RSpec matcher that is very useful