Switch to keyserver.ubuntu.com in the hope it is more reliable
Switch to keyserver.ubuntu.com in the hope it is more reliable
Explicitly mention Ubuntu 12.04 in the headlines

Apparently "Older Ubuntu releases" is too subtle for some people and they miss this section.
Added info about __MonoCS__ to FAQ
Added Travis CI