Nginx: update pid path

Ubuntu 14.04 changed this path. This fixes problems with nginx's init.d
script and using `service nginx`.
Formatting
:cop:
Remove dev-tools role

Was unused and now duplicated by fail2ban and ferm
removed ansible_controller
Merge pull request #100 from roots/feature/remove-ansible_controller

removed ansible_controller
Simplify Vagrantfile - read group_vars/development

Previously there was some duplication between configuring the
`Vagrantfile` and also `group_vars/development`. Another downside was
the Ansible playbook supports multiple sites but the `Vagrantfile` did
nothing to easily allow that.

Now the `Vagrantfile` will read `group_vars/development` and
automatically set up all the hosts and synced folders. The only addition
needed for this is setting `local_path` on each site.
Merge pull request #101 from roots/vagrantfile-updates

Simplify Vagrantfile - read group_vars/development
Update to PHP 5.6

Also rename role to just "php"
Merge pull request #103 from roots/php5.6

Update to PHP 5.6