Grok is no longer using Amazon linux internally

Since we no longer use Amazon linux, we are removing the stale list of
Amazon linux rpms until a volunteer steps up to maintain it.
Include known-good Vagrant/Virtualbox combo for 10.9