Army boosts presence in Naxal belt: Options open