Let bots clean up if they want

Change-Id: I24c3a63e78071f4d7dce1fadac9c1b4abe5245d9
Replace random bot with rock bot

Change-Id: Ic46eb63ebc612177beb85aa5a072132a1dc64c54
Clean up mixfile, update elixir dep

Change-Id: I0b30e71dec9f2be2d61e7f4b27d8dc3891f630ac