Fix __FILE__ when filename contains quotes

[ZedKoS]

No description provided.

[AntonioND]

The commit should describe the fix, not just refer to a GitHub issue. It's fine to have the issue reference, but you also need to describe what's going on in case the repository is being kept somewhere else. Something like:

Fix __FILE__ when name contains quotes

Escapes all quotes in __FILE__ so that it can be used in the code.

Fixes #546

[ZedKoS]

Thanks for the feedback! I'll give at least a more appropriate name to the pull request.

[JL2210]

I wouldn't bother fixing this until the new lexer is merged; it'll just be overwritten if it is.

[ISSOtm]

Considering that #557 may not be merged in a while, I'm gonna merge this anyways. It'll have to be added to #557 separately, as JL pointed out (sigh...), and will probably trigger a merge conflict anyways.

@ZedKoS Ideally, the commit message would also be changed (git commit --amend suffices when it's the last one, otherwise you should use git rebase -i); I'm gonna squash-merge the PR to avoid the problem anyhow.

[AntonioND]

Yeah, I was talking about changing the commit message... But well, the squash merge kinda fixes the problem. Not ideal, but fair enough.