Senior Israeli source: Gaza will not be Hamastan; ‘roof knocking’ policy no longer norm