merge master's makefile
merge master's makefile

bpowers/doppio,plasma-umass/doppio,jmptrader/doppio,Wanderfalke/doppio,Wanderfalke/doppio,Wanderfalke/doppio,plasma-umass/doppio,netopyr/doppio,netopyr/doppio,bpowers/doppio,netopyr/doppio,bpowers/doppio,jmptrader/doppio,jmptrader/doppio,plasma-umass/doppio