Update whois.html
assigning correct file names
merging treemap changes into dev-jf branch
fixing treemap merge conflicts
fixing budget treemap loading
removing unused files
treemap cleanup. fixed dates on 2013-15 treemap budget
Merge branch 'dev-jf' into dev-ppopp

merging latest layout and style changes into personal dev branch
merged latest dev-jf. fixed linking to 2013-2015 treemap
update team roster