Admin/Linux/build

native executable even for Linux, to avoid surprises with file managers opening executable script as text file;

#!/usr/bin/env bash

cc -static -m32 Isabelle.c -o Isabelle