[WIP] Use Cxx and BinaryBuilder

[MaximeBouton]

Try to avoid calling python and directly calls libspot.so instead.

• relies on BinaryBuilder.jl to build Spot, the binaries are hosted here for now: https://github.com/MaximeBouton/SpotBuilder
• uses Cxx.jl to call spot

Current Issues:

• Windows support is not tested yet and mostly depends on RFC: Windows bugfixes JuliaInterop/Cxx.jl#425
• Precompilation must be disabled.

TODOs:

• Finish wrapping existing functions
• Ensure latex rendering of formulas is working
• Ensure Tikz rendering of automata is working

[codecov-io]

Codecov Report

Merging #8 into master will increase coverage by 15.45%.
The diff coverage is 89.52%.

@@             Coverage Diff             @@
##           master       #8       +/-   ##
===========================================
+ Coverage   75.17%   90.62%   +15.45%     
===========================================
  Files           6        5        -1     
  Lines         145      160       +15     
===========================================
+ Hits          109      145       +36     
+ Misses         36       15       -21

Impacted Files	Coverage Δ
src/Spot.jl	100% <100%> (ø)	⬆️
src/rabin_automata.jl	93.93% <100%> (+0.6%)	⬆️
src/automata.jl	86.76% <80.95%> (+14.03%)	⬆️
src/translator.jl	91.66% <91.66%> (-8.34%)	⬇️
src/formulas.jl	88.88% <93.75%> (+10.31%)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 408e862...752dcaf. Read the comment docs.

[MaximeBouton]

Works locally on windows!
not in travis yet...