makefile: use -O3 by default and also generate a static archive library file libre1.a.