Opening of same file twice

[magnesj]

trafficstars

When the same file is opened twice, ask the user what to do. This is especially relevant for summary files, also for other types.

• reload file
• cancel file open
• add a copy of the file