Fix windows ability to checkout project #201

Avoid ':' in filenames by stripping 'remote:'
file extension prefix:
- Rename `skeleton.remote:llvm-mos`
  to `skeleton.llvm-mos`, which allow Windows
  users to once again checkout the repo.
- Update `getSkeletonFile` to strip 'remote:'.

src/ide/ui.ts

@@ -489,7 +489,7 @@ function reloadProject(id: string) {
 }
 
 async function getSkeletonFile(fileid: string): Promise<string> {
-  var ext = platform.getToolForFilename(fileid);
+  var ext = platform.getToolForFilename(fileid).replace(/^remote:/, "");
   try {
     return await $.get("presets/" + getBasePlatform(platform_id) + "/skeleton." + ext, 'text');
   } catch (e) {