Remove useless/unused stuff around .bashrc files

- .bashrc of 'travis' user explicitly loaded /etc/profile
  definitions, but /etc/profile.d mechanism is applied by default in
  bash shell creation.
- .bashrc of 'root' user is managed with a template, not anymore with a
  cookbook file.
Merge pull request #154 from travis-ci/fix-path-envvar

Clean up around management of PATH environment variable
Update sbt-extras (now default: 0.12.2). Fix #150
Fix #157: Update PHP to latest stable versions: 5.4.12 and 5.3.22

Signed-off-by: Rogerio Prado de Jesus <rogeriopradoj@gmail.com>