Merge 311#3

Open

bernatgaston wants to merge 5 commits intoIRATI:masterfrom

bernatgaston:merge_311

Commits on Dec 11, 2015

Update mainstream to 3.11.0
msune
committed

Commits on Dec 14, 2015

First commit

salvestrini
authored and
Bernat Gaston
committed
Adding missing entry in .gitignore

Marc Sune
authored and
Bernat Gaston
committed
Adding IRATI current system calls

Marc Sune
authored and
Bernat Gaston
committed
Rebased to valgrind 311
Bernat Gaston
committed