Add memory range checks when getting a file_id from a mapped file

This also does most memory range checks down the way, but while this could be
done completely in dump_symbols as well, I didn't do it. Note this makes API
changes.

[glandium]

Whitespace fixes for pointers

[glandium]

Refreshed to current trunk