Yes, tipping is not mandatory but has become a general practice. The guides and porters will expect to be tipped for taking good care of you on the trek. The usual amount can be anything between 2000 to 4000 INR for such a long trek. Anyways, it's not Mandatory and it's upto your judgement to tip or not tip.