Merge branch 'ci' into master

Now we can also build on GitHub

ci ignore

Author: fzs

.github/workflows/ci-build.yml

@@ -0,0 +1,65 @@
+name: Continous build - build and test on every push
+
+on:
+  push:
+    branches-ignore:
+      - release
+      - 'releases/**'
+      - gh-pages
+
+jobs:
+  build:
+    name: Build and test
+    runs-on: ${{ matrix.os }}
+    strategy:
+      matrix:
+        os: [ubuntu-latest, windows-latest]
+        java-version: [8, 11]
+    
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v1
+        with:
+          submodules: true
+
+      - name: Setup Java ${{ matrix.java-version }}
+        uses: actions/setup-java@v1
+        with:
+          java-version: ${{ matrix.java-version }}
+
+      - name: Report Java version
+        run: |
+          java -version
+          javac -version
+
+      - name: Build with Ant
+        run: ant test
+
+  build_j7:
+    name: Build and test on Java 7
+    runs-on: ubuntu-latest
+    
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v1
+        with:
+          submodules: true
+
+      - name: Setup Java 7
+        uses: actions/setup-java@v1
+        with:
+          java-version: 7
+
+      - name: Report Java version
+        run: |
+          java -version
+          javac -version
+
+      - name: Setup Moxie
+        run: |
+          wget http://gitblit.github.io/moxie/maven/com/gitblit/moxie/moxie+ant/0.9.4/moxie+ant-0.9.4.tar.gz
+          tar -xzf moxie+ant-0.9.4.tar.gz
+          moxie-0.9.4/bin/moxie -version
+
+      - name: Build with Moxie
+        run:  moxie-0.9.4/bin/moxie