Updated Amaranth Toolset to v0.5.

Changelog here:
http://pablovazquez.org/amaranth/