Move git repository into prac-files, add files for webserver, current versions of navigation and localisation code