Update installation doc

[paladox]

The installation doc mentions a very old ubuntu release, it should be updated so it mentions both debian and ubuntu.