Added scalafmt, scalafix and github ci as suggested in https://github.com/epfl-lara/lisa/pull/4/files.
Code reformated.