Renamed "New" and "Open"

Now "Open Puzzle" and "Open Proof"