Upgrade to AngularJS v1.3.8

I was hoping to fix performance issues with ng-repeat,
but apparently I'm depending too much on that directive.