Replaces _JAVA_OPTIONS with SBT_OPTS

    - _JAVA_OPTIONS seems to annoy Vivado HLS and results in random
    crashes
14 jobs for gitlab-ci in 1 second (queued for 1 second)