v0.5.4

MIPVerify v0.5.4

Diff since v0.5.3

Merged pull requests:

• Update index page for documentation. (#164) (@vtjeng)
• Add tests for interval arithmetic (#167) (@vtjeng)
• Fix deprecation warning for Base.download. (#168) (@vtjeng)
• Add tests for net_components.jl (#169) (@vtjeng)
• Add documentation for SkipBlock. (#170) (@vtjeng)
• Fix GitHub workflow badge to point to master branch. (#171) (@vtjeng)
• Move data source for MIPVerify_data. (#172) (@vtjeng)
• Cut 0.5.4 (#173) (@vtjeng)