How Twitter users reacted to Donald Trump ban: Suspicion, anger . . . and lots of taking the mick