Documentation: fix ubuntu distro name

10.04 is Lucid, not Karmic.
Signed-off-by: NKulikov Vasiliy <segooon@gmail.com>
Acked-by: NNicolas Palix <npalix@diku.dk>
Signed-off-by: NMichal Marek <mmarek@suse.cz>

Documentation/coccinelle.txt

@@ -14,7 +14,7 @@ of many distributions, e.g. :
 
  - Debian (>=squeeze)
  - Fedora (>=13)
- - Ubuntu (>=10.04 Karmic Koala)
+ - Ubuntu (>=10.04 Lucid Lynx)
  - OpenSUSE
  - Arch Linux
  - NetBSD