Change the default TECHNOLOGY to tsmc180osu (not tsmc180)
Change the default TECHNOLOGY to tsmc180osu (not tsmc180)

I renamed the technologies, since we're probably going to have more than
one tsmc180 (this isn't the real one), but I forgot to update the
default in the Makefile (since I don't use it).

ucb-bar/plsi,ucb-bar/plsi