Update build information

Add the command necessary to add ppa repository in Ubuntu

Refs #3757
Merge pull request #3758

f8a7b50 Update build information (Drak)