#15 Update website to use amber 0.13.

Originally at 2014-10-14T21:58:28Z by Herbert Vojčík closed at 2015-01-08T11:36:28Z Blocked by examples not yet 0.13 compatible. If solved, will obsolete #14 (OTOH, this will take a while);