Updates to Travis CI settings. Skip building of 'dspace-installer'.
Other minor tweaks