Global ghost improved
Another one impovement to the global ghost
Final version of global ghost
Merge branch 'master' of https://github.com/eddyz87/pfci4102