Case sensitive Finding and Replacing

The Find and replace function is great, but it doesn’t seem to be case-sensitive while Lua is.
So I expect Codea will add case-sensitive for that. Besides, it’s also great to add ‘find whole words only’ option.

@brok91 - if these are suggestions for changes, you should post them in the “Issue Tracker” thread - it’s in the list of menu items at the top.