Added vbox4.3 variants of all boxes; updated debian 7 to 7.2/7.1