[Agda] --jobs?

[Mateusz Kowalczyk]

Hi,

I was running Agda over the categories library and watching htop and
noticed that Agda only uses a single core throughout: the whole run
looks like it does at [1].

I didn't see a --jobs or anything of the sort in --help. Is there any
real challenge of making Agda take advantage of multiple cores?
Considering it's written in Haskell it seems like it would be fairly
easy to do so. Of course it's hard to do so well but at least some
should be easy.

[1]: http://fuuzetsu.co.uk/images/1408936268.png
-- 
Mateusz K.