Minor tweak to the API: OpamFilename.raw_file -> OpamFilename.raw
Avoid unecessary calls to real_dir

This helps fixing #427
Keep going ig the current directory has been deleted.

This should help fixing #427
Simpler file normalization function.

This should minimize the calls to real_path and fix #427 (together with the previous commits)
Update CHANGES