doc(ubuntu-12.04-detailed): update installation instructions
doc(ubuntu-12.04-detailed): update installation instructions

fpvandoorn/lean2,fpvandoorn/lean2,fpvandoorn/lean2,fpvandoorn/lean2,fpvandoorn/lean2