Decompose compile.bash into compile.sh and download.sh

Signed-off-by: Damien Cassou <damien.cassou@gmail.com>