Hamas-linked social media channels say "three collaborators who were spying for the occupation" were executed.