Here's the default player .cs
base/server/scripts/allGameScripts.cs.dso
Have fun.
Also, shedding some light on the whole animations thing:
You have to make a copy of the default player shapes, textures, and animations, and put them into an add-on in order to modify/add any animations.