remove python indent plugin because we use a different scheme at work