Explanation of how I managed to successfully shrink Vagrant Linux boxes