Add Settings activity allowing user to set compilation timeout, package mirror, etc.
`Enhance' UI: pick engine from a "button" grid (1 step) instead of using a spinner and then click a button (2 steps)
(And there is no need to remember the last used engine anymore!)
Split task management to a new object