Merge branch 'avida3' of github.com:devosoft/avida into avida3
Merge branch 'avida3' of github.com:devosoft/avida into avida3