Slimed down Raspberry Pi distribution (based on debian wheezy 2014-06-20)