v0.3.0

ClosedLoopReachability v0.3.0

Diff since v0.2.4

Merged pull requests:

• Use lens plot for Unicycle (#327) (@schillic)
• use Julia v1.8 in CI (#328) (@schillic)
• Make LazySets a dependency again; remove redundant methods; require v1.6 (#329) (@schillic)
• Remove redundant type parameter (#330) (@schillic)
• Fix export (#331) (@schillic)
• Remove Symbolics from VCAS model (#332) (@schillic)
• Revise and rename DNN module (#333) (@schillic)
• Update scripts/README/Project, format code, fix linter warnings (#334) (@schillic)
• Outsource NeuralNetworkFormats -> ControllerFormats (#335) (@schillic)
• Add bounds to test/Project.toml (#339) (@schillic)
• Format test code (#340) (@schillic)
• Remove some redundancies (#341) (@schillic)