Merging with master;
Updating TravisCI configuration file;
Sharing doc compilation scheme;
Merge branch 'master' of github.com:danielalves/redefine