Well, for the wages add on Hibbert,Oviedo,Osman and Pienaar who are all out of contract in the summer. Total guess but say, £160k a week there in wages.
Galloway,Stones,Lukaku,Barkley and Deulofeu all need new 5 year contracts so thats an extra £30k+ available for each of them. Of course then others like McCarthy and Coleman will want improved terms too as there would be a gulf...thats the main priority for me...extending the contracts.
For them to extend they will want to see progress on the pitch and new signings.
I agree about Naismith,Mirallas and McGeady but would ship out Gibson and McAleny also. I would not wait until summer, i would do this in January. This is because we already have at least 4 players off in summer and also because we need to build a pot for Martinez.
Keeper i think we would need to wait till summer but with the money generated in Jan we should be looking at Bernardo Silva, Breel Embolo or Inaki Williams (or similar) as in the summer their values will increase, especially Silva's. Would be a major statement of intent signing Silva.
Id hope Martinez will enquire on Butland and Karius (or similar) and in fact it may be beneficial to bring in Karius now so he has time to adapt in 2016 and take over as 1st choice.
He needs to move out players in Jan or we will be left with 9 or 10 to move on in the summer which is a mass exodus. He also needs to make a big signing to improve us but also to show Stones etc this is the place to be.