Merge branch 'release/0.4.0' into develop
Bump rebar
Refactor leo_mcerl for documentation
Refactor leo_mcerl_server for documentation
Update gitignore
Improve the doc
Bump leo_mcerl to 0.4.1
Merge branch 'release/0.4.1'