Replacing notifications by a banner style

Note that this PR also includes the modifications about the tasks list from #771

![screen shot 2014-10-31 at 12 49 13](https://cloud.githubusercontent.com/assets/197573/4860147/fb972cce-60f3-11e4-9fe8-1247931a4d20.png)
I think it is better to use lower case ``c`` in ``compilation`` as the sentence starts with a counter.