Update build information

Add the command necessary to add ppa repository in Ubuntu

Refs #3757