The AVI format will cause you problems if you want the easiest method - which is to simply use the video element of HTML5.
You could encode the AVIs to a web format - there are loads of free services that will do it.
<video>
<source src="movie.mp4" />
<source src="movie.webm" />
</video>